Lazy Generic Cuts
نویسندگان
چکیده
LP relaxation based message passing and flow-based algorithms are two of the popular techniques for performing MAP inference in graphical models. Generic Cuts (GC) (Arora et al., 2015) combines the two approaches to generalize the traditional max-flow min-cut based algorithms for binary models with higher order clique potentials. The algorithm has been shown to be significantly faster than the state of the art algorithms. The time and memory complexities of Generic Cuts are linear in the number of constraints, which in turn is exponential in the clique size. This limits the applicability of the approach to small cliques only. In this paper, we propose a lazy version of Generic Cuts exploiting the property that in most of such inference problems a large fraction of the constraints are never used during the course of minimization. We start with a small set of constraints (called the active constraints) which are expected to play a role during the minimization process. GC is then run with this reduced set allowing it to be efficient in time and memory. The set of active constraints is adaptively learnt over multiple iterations while guaranteeing convergence to the optimum for submodular clique potentials. Our experiments show that the number of constraints required by the algorithm is typically less than 3% of the total number of constraints. Experiments on computer vision datasets show that our approach can significantly outperform the state of the art both in terms of time and memory and is scalable to clique sizes that could not be handled by existing approaches. © 2016 Elsevier Inc. All rights reserved.
منابع مشابه
Generic cuts in models of arithmetic
We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y . The notion of ‘indicator’ is defined in a novel way, without initially specifying what property is indicated and is used to define a topological space of cuts of the model. Various familiar properties of cuts (strength, regularity, saturation, coding pr...
متن کاملThe Model Theory of Generic Cuts
We survey some properties of the recently discovered notion of generic cuts [6, 8], in an attempt to put these cuts in a proper model-theoretic context. The main new results are an existentially closure property (in Section 4) and some model completeness properties (in Section 5) for generic cuts. Some known results will be proven in alternative ways here. Part of this work is from the second a...
متن کاملTruth in generic cuts
In an earlier paper (MLQ 54, 128–144) the first author initiated the study of generic cuts of a model of Peano Arithmetic relative to a notion of an indicator in the model. This paper extends that work. We generalise the idea of indicator to a related neighbourhood system; this allows the theory to be extended to one that includes the case of elementary cuts. Most results transfer to this more ...
متن کاملComparing Datatype Generic Libraries in Haskell
Datatype-generic programming is about defining functions that depend on the structure, or “shape”, of datatypes. It has been around for more than 10 years, and a lot of progress has been made, in particular in the lazy functional programming language Haskell. There are more than 10 proposals for generic programming libraries or language extensions for Haskell. In this paper we compare and chara...
متن کاملA Generic Lazy Evaluation Scheme for Exact Geometric Computations
We present a generic C++ design to perform efficient and exact geometric computations using lazy evaluations. Exact geometric computations are critical for the robustness of geometric algorithms. Their efficiency is also critical for most applications, hence the need for delaying the exact computations at run time until they are actually needed. Our approach is generic and extensible in the sen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Computer Vision and Image Understanding
دوره 143 شماره
صفحات -
تاریخ انتشار 2016